coq project造句

例句与造句

1. He led the Coq project in the 1990s with Christine Paulin, who developed the Coq proof assistant.
2. It's difficult to find coq project in a sentence. 用coq project造句挺难的